// ==++==
// 
//   Copyright (c) 2008 Microsoft Corporation. All rights reserved.
//   License: MS-Pl
//
// ==--==

using System;
using System.Collections.Generic;
using System.Text;
using Microsoft.Pex.Framework.TestFrameworks;
using Pex.Xunit;
using Microsoft.Pex.Framework.Instrumentation;

using Xunit;

// instrumentation
[assembly: PexInstrumentAssembly(typeof(Xunit.Assert))]

// partial trust support
//[assembly: PexFullTrustAssembly(typeof(Xunit.Assert))]

// loads the Xunit.net test framework
[assembly: XunitTestFramework]
